منابع مشابه
Avant-propos.
Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...
متن کاملPhysique Théorique et Mathématique,
With a view towards applications for de Sitter, we construct the multi-parametric qdeformation of the so(5,C) algebra using the Faddeev-Reshetikhin-Takhtadzhyan(FRT) formalism. [email protected] [email protected]
متن کاملPsychologie aktuell: 2016-1
Response times can be modeled along with response accuracy to estimate ability. Models that do not use response times were compared with three models that do. The predictive accuracy of the models were assessed using leave-out-one-item cross-validation where for a k item test each method is used k times with k-1 items to create ability estimates and these estimates are used to predict responses...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathématiques et sciences humaines
سال: 2012
ISSN: 1950-6821,1950-6821
DOI: 10.4000/msh.12253